A => Store[S, A]